1. $i$ : $\mathbb{N}$
\\[0ex]$\vdash$  (0 $\geq$ 0 ) $\Rightarrow$ (0 $\leq$ ($i$ $\ast$ 0))